Optimal. Leaf size=53 \[ -\frac {2 \sqrt {d+e x} E\left (\sin ^{-1}\left (\sqrt {\frac {3}{2}} \sqrt {-x}\right )|\frac {2 e}{3 d}\right )}{\sqrt {3} \sqrt {1+\frac {e x}{d}}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 53, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.174, Rules used = {728, 12, 113,
111} \begin {gather*} -\frac {2 \sqrt {d+e x} E\left (\text {ArcSin}\left (\sqrt {\frac {3}{2}} \sqrt {-x}\right )|\frac {2 e}{3 d}\right )}{\sqrt {3} \sqrt {\frac {e x}{d}+1}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 111
Rule 113
Rule 728
Rubi steps
\begin {align*} \int \frac {\sqrt {d+e x}}{\sqrt {-2 x-3 x^2}} \, dx &=\int \frac {\sqrt {d+e x}}{\sqrt {2} \sqrt {-x} \sqrt {1+\frac {3 x}{2}}} \, dx\\ &=\frac {\int \frac {\sqrt {d+e x}}{\sqrt {-x} \sqrt {1+\frac {3 x}{2}}} \, dx}{\sqrt {2}}\\ &=\frac {\sqrt {d+e x} \int \frac {\sqrt {1+\frac {e x}{d}}}{\sqrt {-x} \sqrt {1+\frac {3 x}{2}}} \, dx}{\sqrt {2} \sqrt {1+\frac {e x}{d}}}\\ &=-\frac {2 \sqrt {d+e x} E\left (\sin ^{-1}\left (\sqrt {\frac {3}{2}} \sqrt {-x}\right )|\frac {2 e}{3 d}\right )}{\sqrt {3} \sqrt {1+\frac {e x}{d}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(117\) vs. \(2(53)=106\).
time = 1.78, size = 117, normalized size = 2.21 \begin {gather*} \frac {2 \sqrt {-\frac {d}{e}} (2+3 x) (d+e x)-2 d \sqrt {9+\frac {6}{x}} \sqrt {1+\frac {d}{e x}} x^{3/2} E\left (\sin ^{-1}\left (\frac {\sqrt {-\frac {d}{e}}}{\sqrt {x}}\right )|\frac {2 e}{3 d}\right )}{3 \sqrt {-\frac {d}{e}} \sqrt {-x (2+3 x)} \sqrt {d+e x}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(214\) vs.
\(2(45)=90\).
time = 0.45, size = 215, normalized size = 4.06
method | result | size |
default | \(-\frac {2 \sqrt {e x +d}\, \sqrt {-x \left (2+3 x \right )}\, d \sqrt {\frac {e x +d}{d}}\, \sqrt {-\frac {\left (2+3 x \right ) e}{3 d -2 e}}\, \sqrt {-\frac {e x}{d}}\, \left (3 d \EllipticF \left (\sqrt {\frac {e x +d}{d}}, \sqrt {3}\, \sqrt {\frac {d}{3 d -2 e}}\right )-2 \EllipticF \left (\sqrt {\frac {e x +d}{d}}, \sqrt {3}\, \sqrt {\frac {d}{3 d -2 e}}\right ) e -3 \EllipticE \left (\sqrt {\frac {e x +d}{d}}, \sqrt {3}\, \sqrt {\frac {d}{3 d -2 e}}\right ) d +2 \EllipticE \left (\sqrt {\frac {e x +d}{d}}, \sqrt {3}\, \sqrt {\frac {d}{3 d -2 e}}\right ) e \right )}{3 e x \left (3 e \,x^{2}+3 d x +2 e x +2 d \right )}\) | \(215\) |
elliptic | \(\frac {\sqrt {-x \left (2+3 x \right ) \left (e x +d \right )}\, \left (\frac {2 d^{2} \sqrt {\frac {\left (x +\frac {d}{e}\right ) e}{d}}\, \sqrt {\frac {x +\frac {2}{3}}{-\frac {d}{e}+\frac {2}{3}}}\, \sqrt {-\frac {e x}{d}}\, \EllipticF \left (\sqrt {\frac {\left (x +\frac {d}{e}\right ) e}{d}}, \sqrt {-\frac {d}{e \left (-\frac {d}{e}+\frac {2}{3}\right )}}\right )}{e \sqrt {-3 e \,x^{3}-3 d \,x^{2}-2 e \,x^{2}-2 d x}}+\frac {2 d \sqrt {\frac {\left (x +\frac {d}{e}\right ) e}{d}}\, \sqrt {\frac {x +\frac {2}{3}}{-\frac {d}{e}+\frac {2}{3}}}\, \sqrt {-\frac {e x}{d}}\, \left (\left (-\frac {d}{e}+\frac {2}{3}\right ) \EllipticE \left (\sqrt {\frac {\left (x +\frac {d}{e}\right ) e}{d}}, \sqrt {-\frac {d}{e \left (-\frac {d}{e}+\frac {2}{3}\right )}}\right )-\frac {2 \EllipticF \left (\sqrt {\frac {\left (x +\frac {d}{e}\right ) e}{d}}, \sqrt {-\frac {d}{e \left (-\frac {d}{e}+\frac {2}{3}\right )}}\right )}{3}\right )}{\sqrt {-3 e \,x^{3}-3 d \,x^{2}-2 e \,x^{2}-2 d x}}\right )}{\sqrt {-x \left (2+3 x \right )}\, \sqrt {e x +d}}\) | \(285\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {d + e x}}{\sqrt {- x \left (3 x + 2\right )}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.02 \begin {gather*} \int \frac {\sqrt {d+e\,x}}{\sqrt {-3\,x^2-2\,x}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________